Declarative programming - PDFSEARCH.IO - Document Search Engine

Declarative programming
Results: 415

#	Item
381	Certifying and reasoning on cost annotations of functional programs Roberto M. Amadio1 and Yann R´egis-Gianas1,2 Add to Reading List Source URL: hal.inria.fr Language: English - Date: 2012-05-18 04:03:57 Functional analysis Computability theory Lambda calculus Theoretical computer science Operator Continuation-passing style Combinatory logic Mathematics Software engineering Declarative programming
382	ZU064-05-FPR aopa Add to Reading List Source URL: www.iis.sinica.edu.tw Language: English - Date: 2009-01-30 14:43:06 Higher-order functions Recursion Fold Functional languages Map Functions and mappings Lambda calculus Agda Function Software engineering Computing Declarative programming
383	Programming with Arrows John Hughes Department of Computer Science and Engineering, Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2006-03-06 04:22:11 Functional programming Adjoint functors Arrow Monad Kleisli category Combinatory logic Side effect Combinator library Foreach loop Software engineering Declarative programming Computing
384	Under consideration for publication in J. Functional Programming 1 Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2006-11-24 14:08:53 Models of computation Dependently typed programming Type theory Functional languages Functional programming Generalized algebraic data type Standard ML Lambda calculus Natural deduction Software engineering Declarative programming Computing
385	LNCS[removed]Build, Augment and Destroy, Universally Add to Reading List Source URL: cs.ioc.ee Language: English - Date: 2004-10-21 01:26:05 Functional programming Higher-order functions Fold Recursion Limit Initial algebra Adjoint functors Map Cone Category theory Mathematics Declarative programming
386	Species and Functors and Types, Oh My! Brent A. Yorgey University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2013-10-15 13:04:31 Higher-order functions Adjoint functors Functional programming Combinatorial species Map Functor Sheaf Enumerative combinatorics Equivalence of categories Abstract algebra Mathematics Declarative programming
387	Why Functional Programming Matters John Hughes, Institutionen f¨or Datavetenskap, Chalmers Tekniska H¨ogskola, Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2002-01-09 08:45:00 Functional programming Lisp programming language Higher-order functions Data types Cons Append List Fold Function composition Software engineering Computing Declarative programming
388	■ 連載自分自身を出力するプログラム Add to Reading List Source URL: www.ipsj.or.jp Language: English - Date: 2011-08-17 02:11:53 Adjoint functors Functional programming Monad Kleisli category Arrow Map Haskell Lambda Quine Software engineering Declarative programming Computer programming
389	The Constrained-Monad Problem Neil Sculthorpe Add to Reading List Source URL: www.ittc.ku.edu Language: English - Date: 2013-09-23 14:25:29 Computer programming Adjoint functors Data types Type theory Monad Type class Map Arrow List Declarative programming Functional programming Software engineering

UPDATE